2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Formal Hardware Verification: Methods and Systems in Comparison
Автор:
Thomas Kropf
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 3.14 Mb
Theorem Provers in Circuit Design: Theory, Practice and Experience
Автор:
Ramayya Kumar
, Автор:
Thomas Kropf
Размер книги: 3.04 Mb
Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME'99, Bad Herrenalb, Germany, September ...
Автор:
Laurence Pierre
, Автор:
Thomas Kropf
Размер книги: 4.53 Mb
